- $absmember/2|bold
- $alloc_buff/5|bold
- $append/3|bold
- $asm/3|bold
- $assertf_alloc_t|bold
- $current_atom/2|bold
- $current_functor/3|bold
- $current_predicate/3|bold
- $db_add_clref/7|bold
- $db_assert_fact/5|bold
- $db_call_prref/2|bold
- $db_call_prref_s/2|bold
- $db_get_clauses/3|bold
- $db_new_prref/3|bold
- $exists/1|bold
- $getenv/2|bold
- $member/2|bold
- $member2/2|bold
- $memberchk/2|bold
- $merge/3|bold
- $nthmember/3|bold
- $reverse/2|bold
- $trace/0
- $untrace/0
- ∧
- ∧/2|bold
- ,/2|bold
- -> /2|bold
,
![[*]](crossref.png)
- :–/1
,
,
- ::–/2|bold
- ;/2|bold
- > /2|bold
,
- > = /2|bold
,
- < /2|bold
,
- "
- /0
,
,
,
,
- /0|bold
-
= \ = /2
-
\=/2|bold
-
\ = = /2|bold
- =../2|bold
- =/2|bold
- =:=/2|bold
- = < /2|bold
,
- ==/2|bold
- ?=/2|bold
- _$interrupt/2
- `C'/3|bold
- abolish
- /1|bold
- /2|bold
- abort
- trace facility
- abort/0
- abort/0|bold
- alloc_heap/2|bold
- alloc_perm/2|bold
- arg/3
- arg/3|bold
- arguments
- processing all from a term
- arithmetic
- assembler
- options
- assembly
- assert
- assert
- /1|bold
- /2|bold
- /4|bold
- assert_union/2|bold
- asserta
- /1|bold
- /2|bold
- asserti/2|bold
- assertz
- /1|bold
- /2|bold
- atom/1|bold
- atomic/1|bold
- atoms
- backtrack points
- bagof/3|bold
- behaviour, standard execution
- break/0|bold
- buffers
- builtins, adding
- byte code
- files
,
,
,
,
,
,
- files
- compiler
- concatenating
,
- loading
- overwriting trace points
- translator
- call/1|bold
- call_ref
- /2|bold
- /3|bold
- character I/O
- clause
- clause
- /2|bold
- /3|bold
- cmplib@cmplib
,
- compare/3|bold
- comparison of terms
- compile
- /1|bold
- /2|bold
- /3|bold
- /4|bold
- Compiler
- Compiler
- directives
- invoking
- options
- compiling programs
- conlength/2|bold
,
- constants
- consult
- consult
- /1|bold
- /2|bold
- options
- consulting programs
- consult|(
- consult|)
- control, extra
- count/1|bold
- countpreds/1|bold
- cputime/1|bold
- Credits
- current_atom/1|bold
- current_functor/2|bold
- current_predicate/2|bold
- cut
,
,
,
,
,
- cuts and If-Then-Else
- cut|bold
- database, internal
- dcg/2|bold
- debug/0|bold
- debugging
- debugging
- /0|bold
- declarations
- mode
- definite clause grammars
- definitions
- macros
- directives
- Compiler
- indexing
- directories, system
- display/1|bold
- dynamic loader search path
- efficiency, coding for
- environmental predicates
- erase/1|bold
- et/1|bold
- et_answers/2|bold
- et_calls/2|bold
- et_points/1|bold
- et_remove/1|bold
- et_star/1|bold
- eval/2|bold
- evaluable predicates
,
- executing programs
- execution behaviour, standard
- execution directives
- exotica
- exp/2|bold
- expand_term/2|bold
- extension tables
- memo relations
- fail/0|bold
- file handling
- findall/3|bold
- float/1|bold
- floatc/3|bold
- floating point numbers, unification of
- floor/2|bold
- functor/3|bold
- gennum/1|bold
- gensym/2|bold
- get/1|bold
- get0/1|bold
- getting started
- global values
- globalset/1|bold
- grammars
- definite clause
- high-level tracing
- I/O
- term
- If-Then-Else and cuts
- index/3
- index/3|bold
- indexing
- indexing
- directives
- on floating point
- input
- instance/2|bold
- integer/1|bold
- integers
- internal database
- interrupts
- invoking the Compiler
- invoking the simulator
,
- is/2|bold
- is_buffer/1|bold
- keysort/2|bold
- length/2|bold
- libraries
- linking, dynamic search path
- listing
- /0|bold
- /1|bold
- load/1|bold
- loader, dynamic search path
- loading byte code files
- low-level predicates
- low-level tracing
- Macro Expander options
- macros
- macros
- definition of
- memo relations
- extension tables
- meta-logical predicates
- mode
- declarations
- values
- mode/3|bold
- modification of the program
- name/2|bold
- nl/0|bold
- nocount/1|bold
- nodebug/0|bold
- nodynload/2|bold
- noet/1|bold
- nonvar/1|bold
- noprofile/0|bold
- nospy/1|bold
- not unifiable|see
\=/2
- not/1|bold
- notime/1|bold
- number/1|bold
- occurs check
- unification without
- op/3|bold
,
- operational semantics
- operators
- options
- Compiler
- Macro Expander
- Simulator
- output
- path, search
- phrase/2|bold
- portray_clause/2|bold
- portray_term/2|bold
- predicate_property/2|bold
- predicates
- evaluable
- predicates, environmental
- predicates, evaluable
- predicates, low-level
- predicates, meta-logical
- print/1|bold
- print_al/2|bold
- print_ar/2|bold
- prof_reset/1|bold
- prof_stats
- /0|bold
- /1|bold
- profile/0|bold
- profiling programs
- profiling/0|bold
- program, state of
- put/1|bold
- query
- query evaluator
,
- read/1|bold
- real/1|bold
- reconsult
- recorda/3|bold
- recorded/3|bold
- recordz/3|bold
- registers
- minimizing data movement between
- repeat/0|bold
- resetcount/1|bold
- resettime/1|bold
- restore/1|bold
- retract/1|bold
- rounding
- rule
- save/1|bold
- search path
- see/1|bold
- seeing/1|bold
- seen/0|bold
- semantics, operational
- setof/3|bold
- sets
- SIMPATH
,
- Simulator
- Simulator
- options
- simulator, invoking
,
- sin/2|bold
- sort/2|bold
- spy/1|bold
- spypreds/1|bold
- square/2|bold
- standard execution behaviour
- starting
- state of the program
- statistics
- /0|bold
- /2|bold
- strings
- structure/1|bold
- subsumes/2|bold
- symtype/2|bold
- syntax
- syscall/3|bold
- system directories
- system/1|bold
- tab/1|bold
- tell/1|bold
- telling/1|bold
- term I/O
- term
- processing all arguments of
- term_expansion/2
- terms
- terms
- comparison of
- testing unifiability
- time/1|bold
- timepreds/1|bold
- told/0|bold
- trace
- options
- trace/1|bold
- tracepreds/1|bold
- tracing
- high-level
- low-level
- trimbuff/3|bold
- true/0|bold
- undefined_pred/1|bold
- unifiability
- testing
- unification
- floating point numbers
- without occurs check
- Unix
- system calls|bold
- untrace/1|bold
- var/1|bold
- WAM
,
,
,
- write/1|bold
- writename/1|bold
- writeq/1|bold
- writeqname/1|bold